Single-particle potential from resummed ladder diagrams
نویسندگان
چکیده
منابع مشابه
String Breaking from Ladder Diagrams in SYM Theory
The AdS/CFT correspondence establishes a string representation for Wilson loops in N = 4 SYM theory at large N and large ’t Hooft coupling. One of the clearest manifestations of the stringy behaviour in Wilson loop correlators is the string breaking phase transition. It is shown that resummation of planar diagrams without internal vertices predicts the strong-coupling phase transtion in exactly...
متن کاملVerification of Interlockings: from Control Tables to Ladder Logic Diagrams
Dependency relations between objects in a railway yard are tabulated in control tables. An interlocking, which guarantees validity of these dependencies, can be implemented in ladder logic. We transform a ladder logic diagram into a Boolean formula, so that validity of the dependencies in the control tables can be verified using a theorem prover. Time copies and invariants are added to the form...
متن کاملA New Translation Algorithm from Ladder Diagrams to Instruction Lists
A new algorithm for translating ladder diagrams into instruction lists is presented in this paper. To perform this task a new class of digraphs called Fractal Series Parallel (FSP) digraphs is proposed for the first time, which can represent the Boolean functions of a ladder diagram more intuitively and concisely than binary trees. Our analysis is based on the fact that a General Series Paralle...
متن کاملResummed Green-Kubo relations for a fluctuating fluid-particle model.
A recently introduced stochastic model for fluid flow can be made Galilean invariant by introducing a random shift of the computational grid before collisions. This grid shifting procedure accelerates momentum transfer between cells and leads to a collisional contribution to transport coefficients. By resumming the Green-Kubo relations derived in a previous paper, it is shown that this collisio...
متن کاملVeri cation of Interlockings: from Control Tables to Ladder Logic Diagrams
Dependency relations between objects in a railway yard are tabulated in control tables. An interlocking, which guarantees validity of these dependencies, can be implemented in ladder logic. We transform a ladder logic diagram into a Boolean formula, so that validity of the dependencies in the control tables can be veri ed using a theorem prover. Time copies and invariants are added to the formu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The European Physical Journal A
سال: 2013
ISSN: 1434-6001,1434-601X
DOI: 10.1140/epja/i2013-13140-6